# shlaer-mellor-metamodel-verifier
Domain responsible for verifying a Shlaer-Mellor model against the shlaer-mellor-metamodel project.
